/*
 * Sequent.h
 *
 *  Created on: Apr 30, 2012
 *      Author: kobe
 */

#ifndef SEQUENT_H_
#define SEQUENT_H_

#include <string>
#include "Context.h"
#include "Proposition.h"
#include "Util.h"
#include <iostream>
#include <cstdlib>

class Sequent {
public:
	Sequent(std::string);
	virtual ~Sequent();
	std::string toString();
	std::string toLatex();
    Context *getContext() const;
    Proposition *getProposition() const;
    bool compare(Sequent*);
private:
	Context* mContext;
	Proposition* mProposition;
};

#endif /* SEQUENT_H_ */
